Language and Computation - PDFSEARCH.IO - Document Search Engine

Language and Computation
Results: 343

#	Item
251	Denotational Semantics of XML-Lambda Pavel Loupal1 and Karel Richta2 1 Department of Software Engineering, Czech Technical University, Faculty of Information Technology Prague, Czech Republic Add to Reading List Source URL: www.ksi.mff.cuni.cz Language: English - Date: 2010-07-05 10:29:45 Models of computation Lambda calculus Formal languages Model theory Programming language semantics Denotational semantics Structure String Symbol Theoretical computer science Mathematics Mathematical logic
252	INTERNATIONAL TELECOMMUNICATION UNION ITU-T TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU Add to Reading List Source URL: www.itu.int Language: English - Date: 2001-09-13 08:35:12 Mathematics Models of computation Logic in computer science Logical syntax Metalogic Specification and Description Language Abstract state machines Denotational semantics Operational semantics Logic Theoretical computer science Formal languages
253	PDF Document Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2013-09-23 06:42:47 Tbilisi State University Institute for Logic Language and Computation Tbilisi Dick de Jongh Logic Geography of Europe Europe Jeroen Groenendijk Year of birth missing Gudauri
254	The Dataflow Schedule Graph and Applications to Heterogeneous Computing Systems Hsiang-Huang Wu Department of Electrical & Computer Engineering, and Institute for Advanced Computer Studies University of Maryland Add to Reading List Source URL: marshallplan.squarespace.com Language: English - Date: 2011-05-15 15:00:30 Computer data Dataflow Parallel computing Electronic engineering SIGNAL Software engineering Dataflow architecture CAL Actor Language Computer architecture Computing Models of computation
255	Department of Engineering 1 Efficient decoding with continuous rational kernels using the expectation semiring Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2013-03-25 11:19:15 Statistical classification Computational linguistics Markov models Natural language processing Models of computation Finite state transducer Hidden Markov model N-gram Speech recognition Statistics Probability and statistics Science
256	Department of Engineering 1 Efficient decoding with continuous rational kernels using the expectation semiring Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2013-03-27 12:44:35 Statistical classification Computational linguistics Markov models Natural language processing Models of computation Finite state transducer Hidden Markov model N-gram Speech recognition Statistics Probability and statistics Science
257	PDF Document Add to Reading List Source URL: www.loc.gov Language: English - Date: 2010-04-07 16:13:59 Academic publishing OAIster H. W. Wilson Company Arts and Humanities Citation Index Dissertations Abstracts Online Computer Library Center Research on Language and Computation Milbank Quarterly Library science Bibliographic databases Publishing
258	LogICCC_44p.A4_August11.indd Add to Reading List Source URL: www.esf.org Language: English - Date: 2011-09-22 04:12:24 Academia Science and technology in Europe European Science Foundation Institute for Logic Language and Computation Cognitive science Logic Computer science Scientific method Center Leo Apostel for Interdisciplinary Studies Science Knowledge Interdisciplinary fields
259	Extending OCL with Null-References Towards a Formal Semantics for OCL 2.1 Achim D. Brucker1 , Matthias P. Krieger2 , and Burkhart Wolff2 1 2 Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2011-12-04 09:41:42 Formal languages Model theory Data types Type theory Models of computation Object Constraint Language Null ECO Interpretation Logic Mathematics Software engineering
260	Lecture notes on automata, languages, and grammars Cristopher Moore January 11, 2013 Abstract These lecture notes are intended as a supplement to Moore and Mertens’ The Nature of Computation, and are available to anyon Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2013-01-11 13:28:25 Applied mathematics Nondeterministic finite automaton Myhill–Nerode theorem DFA minimization Regular language Deterministic finite automaton Regular expression Finite-state machine Powerset construction Automata theory Theoretical computer science Computer science

UPDATE